8 Description Logics for Conceptual Data Modeling
نویسندگان
چکیده
The article aims at establishing a logical approach to class-based data modeling. After a discussion on class-based formalisms for data modeling, we introduce a family of logics, called Description Logics, which stem from research on Knowledge Representation in Arti cial Intelligence. The logics of this family are particularly well suited for specifying data classes and relationships among classes, and are equipped with both formal semantics and inference mechanisms. We demonstrate that several popular data modeling formalisms, including the Entity-Relationship Model, and the most common variants of object-oriented data models, can be expressed in terms of speci c logics of the family. For this purpose we use a unifying Description Logic, which incorporates all the features needed for the logical reformulation of the data models used in the various contexts. We also discuss the problem of devising reasoning procedures for the unifying formalism, and show that they provide valuable supports for several important data modeling activities.
منابع مشابه
8 DESCRIPTION LOGICS FOR CONCEPTUAL DATA MODELING Diego Calvanese , Maurizio Lenzerini , and Daniele Nardi
The article aims at establishing a logical approach to class-based data modeling. After a discussion on class-based formalisms for data modeling, we introduce a family of logics, called Description Logics, which stem from research on Knowledge Representation in Artificial Intelligence. The logics of this family are particularly well suited for specifying data classes and relationships among cla...
متن کاملDescription Logics for Modeling Dynamic Information
In the first part of this Chapter we will introduce a general temporally enhanced conceptual data model able to represent time varying data, in the spirit of a temporally enhanced Entity-Relationship data model. In the second part, we will introduce an object-oriented conceptual data model enriched with schema change operators, which are able to represent the explicit temporal evolution of the ...
متن کاملDescription Logics for Information
In this paper we would like to present some preliminary ideas on the possibility of using prin-cipled Knowledge Representation techniques { speciically Description Logics { in order to support conceptual modeling and exible access to Information Systems. In recent years, applications based on database tools and those based on Description Logic systems are progressively converging towards integr...
متن کاملEvidence-Based Languages for Conceptual Data Modelling Profiles
To improve database system quality as well as runtime use of conceptual models, many logic-based reconstructions of conceptual data modelling languages have been proposed in a myriad of logics. They each cover their features to a greater or lesser extent and are typically motivated from a logic viewpoint. This raises questions such as what would be an evidence-based common core and what is the ...
متن کامل